conditional statement in discrete mathematics